package com.googlecode.kipler.satisfiability.blocking.abox;

import com.googlecode.kipler.container.dl.ABox;

/**
 * 
 * @author İnanç Seylan
 *
 */
public interface ABoxBlockingStrategy {

	public boolean isIndirectlyBlocked(ABox abox, String indvName);

	public boolean isBlocked(ABox abox, String indvName);
}
